Why Friedman's non-monotonic reasoning defies Hempel's covering law model

Non-Monotonic Spatial Reasoning

The systematic modelling of dynamic spatial systems is a key requirement in a wide range of application areas such as commonsense cognitive robotics, computer-aided architecture design, dynamic geographic information systems. We present ASPMT(QS), a novel approach and fully-implemented prototype for non-monotonic spatial reasoning —a crucial requirement within dynamic spatial systems— based on ...

Non monotonic reasoning pdf

Intentional Reasoning as Non-monotonic Reasoning

Intentional reasoning is also logical reasoning. Since it is a dynamic process that involves reasoning from beliefs, goals and time, it requires both a temporal semantics and a non-monotonic behavior. In this work we propose a model of intentional reasoning as a case of nonmonotonic reasoning. We also show the consistency and soundness of the system.

On Non-monotonic Conditional Reasoning

This note is concerned with a formal analysis of the problem of non-monotonic reasoning in intelligent systems, especially when the uncertainty is taken into account in a quantitative way. A firm connection between logic and probability is established by introducing conditioning notions by means of formal structures that do not rely on quantitative measures. The associated conditional logic, co...

Non-monotonic reasoning in interpretation

The original article of Thomason pursues two goals: first to outline the central logical issues of non-monotonic reasoning, and second to indicate possible applications of nonmonotonic reasoning techniques in linguistics. This appendix will follow up on Thomason’s second goal and show that linguists have taken up his invitation to use nonmonotonic logic as a formal tool. Particularly in the new...